TAGs: Inequality solver